"use client"; import { Fact, PermissionToken, ReplicacheProvider } from "src/replicache"; import type { Attribute } from "src/replicache/attributes"; import { SelectionManager } from "components/SelectionManager"; import { Pages } from "components/Pages"; import { ThemeBackgroundProvider, ThemeProvider, } from "components/ThemeManager/ThemeProvider"; import { LeafletFooter } from "./Footer"; import { EntitySetProvider } from "components/EntitySetProvider"; import { AddLeafletToHomepage } from "components/utils/AddLeafletToHomepage"; import { UpdateLeafletTitle } from "components/utils/UpdateLeafletTitle"; import { useUIState } from "src/useUIState"; import { LeafletSidebar } from "./Sidebar"; export function Leaflet(props: { token: PermissionToken; initialFacts: Fact[]; leaflet_id: string; }) { return ( {/* we need the padding bottom here because if we don't have it the mobile footer will cut off... the dropshadow on the page... the padding is compensated by a negative top margin in mobile footer */} ); } const blurPage = () => { useUIState.setState(() => ({ focusedEntity: null, selectedBlocks: [], })); };